An Ontological Approach for Modeling Technical Standards for Compliance Checking
نویسندگان
چکیده
This paper gives an overview of a formal semantic-based approach of modeling some regulations in the photovoltaic field to help the delivering of technical assessments at the French scientific center on Building Industry (CSTB). Starting from regulatory texts, we first explicit SBVR rules and then formalize them into ontology-based rules in the SPARQL language. These are exploited in the modeling of the compliance checking process required for the delivering of technical assessments.
منابع مشابه
An ontological approach for technical plan definition and verification in construction
a r t i c l e i n f o Construction planning is a fundamental and challenging process in the management and execution of construction projects. The task of developing technical plans is critical to ensuring the success of a construction project. This task of preparing a technical plan is usually undertaken manually using two separate processes: (1) plan definition and (2) verification/checking. ...
متن کاملManaging Standards Compliance
Software engineering standards determine practices that`compliant' software processes shall follow. Standards generally deene practices in terms of constraints that must hold for documents. The document types identiied by standards include typical development products, such as user requirements, and also process-oriented documents, such as progress reviews and management reports. The degree of ...
متن کاملTowards an Ontology-based Approach for Conformance Checking Modeling in Construction
This paper gives an overview of a formal ontological approach of conformance models for regulations in Construction aiming at answering the research question: “is an IFC-represented building project compliant to a set of construction rules?” The study analyses three key subtasks: (i) transformation of the IFC of the construction project; (ii) regulations formalisation; (iii) conformance checkin...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملTowards Code Compliance Checking on the Basis of a Visual Programming Language
In the AEC industry, there is a large number of standards and codes which ensure the structural stability, reliability, usability of the building under design. Accordingly, checking the conformity of the building design with these requirements is a crucial process. Nowadays this checking is performed to a large extent manually based on two-dimensional technical drawings and textual documents. D...
متن کامل